1

The formal ball model for -categories

Year:
2011
Language:
english
File:
PDF, 341 KB
english, 2011
2

Bounded complete models of topological spaces

Year:
2004
Language:
english
File:
PDF, 234 KB
english, 2004
3

Partial metrisability of continuous posets

Year:
2006
Language:
english
File:
PDF, 297 KB
english, 2006
5

Approximation in quantale-enriched categories

Year:
2011
Language:
english
File:
PDF, 261 KB
english, 2011
6

Distance and Measurement in Domain Theory

Year:
2001
Language:
english
File:
PDF, 199 KB
english, 2001
7

Approximation Simply Characterized

Year:
2005
Language:
english
File:
PDF, 147 KB
english, 2005
8

Quantitative Continuous Domains

Year:
2003
Language:
english
File:
PDF, 197 KB
english, 2003
9

A duality of quantale-enriched categories

Year:
2012
Language:
english
File:
PDF, 274 KB
english, 2012
10

A duality of generalized metric spaces

Year:
2011
Language:
english
File:
PDF, 193 KB
english, 2011
12

How Do Domains Model Topologies?

Year:
2003
Language:
english
File:
PDF, 222 KB
english, 2003
13

The limit–colimit coincidence theorem for -categories

Year:
2010
Language:
english
File:
PDF, 308 KB
english, 2010